Search results for "Theory of constraints"

showing 2 items of 2 documents

Constraint Management in Engineering of Complex Information Systems

2009

We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage  constraints. Our proposal is based on a definition of constraints as 3D spaces with  dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.

Constraint (information theory)Management information systemsUnified Modeling LanguageComputer scienceProgramming languageTheory of constraintsInformation systemcomputer.software_genrecomputerFormal verificationObject Constraint Languagecomputer.programming_languageMetamodeling2009 14th IEEE International Conference on Engineering of Complex Computer Systems
researchProduct

Domain knowledge integration and semantical quality management -A biology case study

2008

International audience; The management of semantical quality is a major challenge in the context of knowledge integration. In this paper, we describe a new approach to constraint management that emphasizes constraint traceability when moving from the semantical level to the operational one.Our strategy for management of semantical quality is related to a metamo-deling-based approach to knowledge integration. We carry out knowledge integration “on the fly” by using transformations applied to models belonging to our metamodeling architecture. The resulting integrated models access available resources through web services whose input and output parameters are guarded by constraints. Integrated…

business.industryComputer science020207 software engineeringContext (language use)02 engineering and technologycomputer.software_genreMetamodelingConstraint (information theory)Knowledge integration020204 information systemsTheory of constraints0202 electrical engineering electronic engineering information engineeringDomain knowledge[INFO]Computer Science [cs]Data miningWeb serviceModel-driven architectureSoftware engineeringbusinesscomputercomputer.programming_language
researchProduct